Nimbus Series

Proximity Services with the Nimbus Framework

Location-based applications and services are getting increasingly important for mobile users. They take into account a mobile user's current location and provide location-dependent output. Currently, location-based applications are mainly provided by mobile phone networks, but we can generalize the idea to other usage scenarios. To support developers of such services, we designed the Nimbus fra...

Nimbus Electrosurgical RF Multi-tined Expandable Electrode

NIMBUS: A Tool for Specification Centered Development

Assurance that a formal specification (system specification or software specification) possesses desired properties can be achieved through (1) manual inspections, (2) formal verification of the desired properties, or (3) simulation and testing of the specification. To achieve the high level of confidence in the correctness required in a safety-critical system, all three approaches must be used...

CS6204: Cumulus, Nimbus, Cumulonimbus – Choosing Between Clouds

Cloud computing is a multi-billion business, with more than 100 cloud service providers [1] vying for supremacy. Businesses are overwhelmed with choices and tradeoffs. In this paper we offer a qualitative and quantitative assessment of leading cloud service providers (CSPs) to guide small and medium businesses (SMBs) in their choice of CSP. Our qualitative study of usability, reliability, and c...

Nimbus ® range of pressure - redistributing mattresses

There are a number of major drivers behind the need to improve the way pressure ulcer risk is managed: higher acuity patients; resource-limited healthcare systems; a growing emphasis on patient preference, clinician safety and a nosocomial pressure ulcer rate that has changed little over time (Buttery and Phillips, 2009). The challenges are clearly complex and demand an evidence-based and timel...